On a formal semantics of tabular expressions

In Parnas et al advocate the use of relational model for doc umenting the intended behaviour of programs In this method tabular expres sions or tables are used to improve readability so that formal documentation can replace conventional documentation Parnas describes several classes of tables and provides their formal syntax and semantics In this paper an alternative more general and more homogeneous semantics is proposed The model covers all known types of tables used in Software Engineering